We provide a simple translation of the satisfiability problem for regular grammar logics with converse into GF2, which is the intersection of the guarded fragment and the 2-variable fragment of first-order logic. The translation is theoretically interesting because it translates modal logics with certain frame conditions into first-order logic, without explicitly expressing the frame conditions. It is practically relevant because it makes it possible to use a decision procedure for the guarded fragment in order to decide regular grammar logics with (...) converse. The class of regular grammar logics includes numerous logics from various application domains. A consequence of the translation is that the general satisfiability problem for every regular grammar logics with converse is in EXPTIME. This extends a previous result of the first author for grammar logics without converse. Other logics that can be translated into GF2 include nominal tense logics and intuitionistic logic. In our view, the results in this paper show that the natural first-order fragment corresponding to regular grammar logics is simply GF2 without extra machinery such as fixed-point operators. (shrink)

Social standards have become important tools in corporate governance. They are often presented as voluntary initiatives in CSR and are generally based on the principle of multi-stakeholder collaboration as a means to gain legitimacy. Yet, based on a case study of a company in the textile industry, the paper shows that not all CSR standards are equally valued and that the adoption of particular CSR standards can be the result of external constraints on managerial discretion, e.g. emerging from business partners (...) and activist groups. (shrink)

Buscamos, com o presente artigo, investigar o impacto da práxis de um Projeto de Extensão Universitária, que consiste em oficinas de música para crianças e adolescentes com o que designamos autismo ou outras neurodivergências, sobre a formação discente, levando em consideração as dimensões clínica e ético-política da ação extensionista. Dividimos a metodologia em duas partes: a primeira corresponde à revisão bibliográfica tipo narrativa, por meio da qual abordamos textos da fenomenologia da vida e das éticas da alteridade, comunitária e da (...) libertação; a segunda parte diz respeito aos relatos de experiência feitos pelas/os discentes participantes do Projeto e coautoras/es do presente artigo. Os/as discentes responderam a questões relacionadas a dois eixos temáticos construídos a priori: o impacto da Oficina de Música sobre sua formação e a percepção sobre as dimensões clínica e ética do Projeto. Avaliamos as narrativas por meio da análise de conteúdo, a partir da qual construímos as seguintes categorias de análise: impacto transformador da práxis da Oficina; e modelo biomédico e pensamento crítico, referentes ao eixo 1; arte, acolhimento e potencial terapêutico; pessoas que não cabem em um diagnóstico; e uma clínica ético-política, referentes ao eixo 2. Concluímos que a ação extensionista tem tido um impacto positivo sobre a formação discente, contribuindo para uma clínica estética, ética e política não normalizadora, que possibilita a liberação das forças da vida, a afirmação da vida em sua multiplicidade, sobretudo daquelas pessoas que tiveram e continuam tendo suas vidas negadas e invisibilizadas pelo sistema de produção (econômico e discursivo) dominante. (shrink)

Iedereen komt ze weleens tegen in eigen kring of kent ze uit ondervinding: de bully op het schoolplein, de gewelddadige levenspartner, de maniakale manager, de tirannieke geestelijk leider, de crimineel. In het dagelijks spraakgebruik bestempelen we ze zonder aarzeling als 'gevaarlijke gekken'. We weten maar al te goed hoe ontwrichtend of traumatiserend zo'n gek kan zijn. Maar kan de impact van zo'n gevaarlijke gek niet ook op grotere schaal spelen? Op de schaal van de politiek, de samenleving, de wereld of (...) de geschiedenis? Met deze vraag organiseerden Gijsbert de Reuver en Stephan Sanders bij de Universiteit van Amsterdam, in samenwerking met 'De Groene Amsterdammer', een spannende collegereeks, die een vervolg heeft gekregen in het boek 'Gevaarlijke gekken?' In dit boek staan stukken van docenten uit de collegereeks, maar ook bijdragen die speciaal zijn geschreven voor de bundel, bijvoorbeeld die over Donald Trump en Vladimir Poetin. (shrink)

This is a collection of high-quality research papers in the philosophy of science, deriving from papers presented at the second meeting of the European Philosophy of Science Association in Amsterdam, October 2009.

Résumé La migration turque très largement distribuée dans le monde garde sa référence à une origine commune. Les entreprises y sont nombreuses. Entre pays d’origine et pays de résidence s’intercalent des pays de transit tandis que s’institue une circulation continue. La filière migratoire comme la migration internationale font jouer des traits culturels communs qui rapprochent les migrants et leur permettent de participer à la même économie collective. Le gouvernement essaie de les contrôler politiquement et religieusement, mais la plus grande formation (...) intellectuelle des opposants leur donne un fort ascendant. On ne peut parler de diaspora tant les groupes sont à géométrie variable. La dimension économique de la culture a pris le dessus. (shrink)

In the past decade, significant social movements emerged in South Africa, in response to specific urban challenges of injustice or exclusion. This article will interrogate the meaning of such urban social movements for theological education and the church. Departing from a firm conviction that such movements are irruptions of the poor, in the way described by Gustavo Gutierrez and others, and that movements of liberation residing with, or in a commitment to, the poor, should be the locus of our theological (...) reflection, this article suggests that there is much to be gained from the praxis of urban social movements, in disrupting, informing and shaping the praxis of both theological education and the church. I will give special consideration to Ndifuna Ukwazi and the Reclaim the City campaign in Cape Town, the Social Justice Coalition in Cape Town, and Abahlali baseMjondolo based in Durban, considering these as some of the most important and exciting examples of liberatory praxes in South Africa today. I argue that theological education and educators, and a church committed to the Jesus who came ‘to liberate the oppressed’, ignore these irruptions of the Spirit at our own peril. (shrink)

In this article, we are exploring a methodological approach to research on faith and religious expressions in urban Africa. We are committed to trans-disciplinary work that pursues research methods mutually liberating for researchers, co-researchers and community participants and that results in long-term benefits and strengthened agency on the part of the host communities. Our reflections in this article are based on a collaborative research project1 in two regions of Pretoria, Tshwane2 – Pretoria Central and Mamelodi East – in which we (...) explore how religious innovation and competition in and amongst churches contribute to the healing or perpetuation of urban fractures. (shrink)

Ivan Petrella argues that the goals of liberation theology can sometimes be better served by doing it undercover. This article reflects on responses to homelessness during Covid-19 in the City of Tshwane, describing and reflecting upon it from the perspective of a researcher-theologian as well as activist-urbanist. It employed two lenses in its reflection: Petrella’s notion of the ‘undercover liberation theologian’, as well as what is known as deliberative public administration theory, as possibly complementary approaches. It traces ways in which (...) people of faith/theologians participated in the City of Tshwane through means other than explicit theological discourse. It implies that such engagement was not less theological but perhaps more strategic, describing that task of the undercover liberation theologian as that of making space, making plans, making known and making change. Ultimately, it calls for a subversion of suspect models of theological education, suggesting that it is in losing ourselves in the messiness of public processes and multiple solidarities with the poor, that the unfree might experience freedom, and liberation theological goals might find concrete expression.Contribution: This article reflects on responses in the City of Tshwane to street homelessness during Covid-19. It unpacks the notion and role of the ‘undercover’ liberation theologian in local political processes, and how losing ourselves in public processes and multiple solidarities with the urban poor, might help gain freedom for the unfree. (shrink)

Grounded in a postcolonial, liberationist urban vision, this article lamented the theological and political paralysis of urban denialism that fails African cities and African urban populations. Considering different possible urban trajectories towards 2063 – ranging from floundering to flourishing, implosion to explosion, and apocalyptic disaster to complete rebirth – it then proposed theologies of African urban citizenship, as response. It sought to articulate a vision of citizen-driven African cities, remaking cities ‘from below’, through interconnected and intersectional urban movements. It considered (...) urban citizenship not as the decent and orderly conduct of subjects of the nation-state but as the disruptive and transformative presence and participation of citizens of God’s new city, breaking into cities across the African continent. While it bemoaned the absence of ‘Africa’s urban revolution’ from mainstream theologies and politics practised in the African context, and the insufficient attention paid to it even by the Africa 2063 manifesto, it dared to evoke hope, in spite of evidence to the contrary. This should be viewed as a conceptual contribution, fusing literature study with deep urban immersion. Contribution: Grounded in a postcolonial, liberationist urban vision, this article lamented the theological and political paralysis of urban denialism that fails African cities and African urban populations, contemplating theologies of African urban citizenship instead. (shrink)

The Integrated Urban Development Framework was constructed as a ‘new deal’ for South African cities and towns. It outlines a vision with four overarching goals and eight priorities or policy levers meant to overcome the apartheid legacy through comprehensive spatial restructuring and strategic urban–rural linkages. This article is a contextual theological reflection ‘from below’, reading the IUDF through the lenses of five distinct contours. It asks whether the IUDF has the potential to mediate good cities in which the urban poor (...) and disenfranchised can experience integral liberation as equal citizens, or whether it will perpetuate the city as post-colonial satellite of violent empire. It concludes by proposing five areas for theological and political action: consciousness from below, a new economics, a different kind of politics, socio-spatial transformation, and collaborative knowledge generation. (shrink)

This essay is informed by five different but interrelated conversations all focusing on the relationship between the city and the university. Suggesting the clown as metaphor, I explore the particular role of the activist scholar, and in particular the liberation theologian that is based at the public university, in his or her engagement with the city. Considering the shackles of the city of capital and its twin, the neoliberal university, on the one hand, and the city of vulnerability on the (...) other, I then propose three clown-like postures of solidarity, mutuality and prophecy to resist the shackles of culture and to imagine and embody daring alternatives. (shrink)

After describing the challenges, myths, exclusions and opportunities of urban regeneration, this article explores the potential interface between faith-based action and different forms of urban regeneration. Focusing on different South African cities, it considers how faith-based action could participate in regenerative urban work. Faith-based action will refer to the varied responses of churches and faith-based organisations to urban challenges and transitions. It interrogates whether faith-based action only represents many similar approaches that address urban problems superficially without mediating long-term, systemic change, (...) or whether it indeed contributes to urban transformation in the sense of radical inclusivity and socio-structural spatial justice. Finally, it considers socio-theological sources that could potentially ground urban faith-based action theologically – such as an urban spirituality, an understanding of regeneration as integral liberation and mobilising socio-spiritual capital – whilst making a distinctive contribution to the processes of socially inclusive urban regeneration. (shrink)

In the management of biomedical data, vocabularies such as ontologies and terminologies (O/Ts) are used for (i) domain knowledge representation and (ii) interoperability. The knowledge representation role supports the automated reasoning on, and analysis of, data annotated with O/Ts. At an interoperability level, the use of a communal vocabulary standard for a particular domain is essential for large data repositories and information management systems to communicate consistently with one other. Consequently, the interoperability benefit of selecting a particular O/T as a (...) standard for data exchange purposes is often seen by the end-user as a function of the number of applications using that vocabulary (and, by extension, the size of the user base). Furthermore, the adoption of an O/T as an interoperability standard requires confidence in its stability and guaranteed continuity as a resource. (shrink)

This article sets out to describe how churches have responded and continue to respond to fast-changing urban environments in Pretoria Central and Mamelodi East, animating Henri Lefebvre’s sociological perspective of citadins or urban inhabitants. We make tentative interpretations and offer critical appreciation. Churches, which were historically separated from the city centre, now directly participate in claiming a right to the city. With necessary fluidity, churches express lived African urbanisms through informality, place-making, spatial innovation and everyday rituals. Though not exhaustive, the (...) article focuses on rituals shared among historic urban Christians and contemporary African urban Christians, namely prayer, listening to the Bible and worship. These rituals, when combined with the churches’ spatial innovation, to a certain degree contribute to place-making. (shrink)

In this article, the authors bring two personal journeys together: one author’s liberationist journey, sparked by a search for justice and liberation in the slums of Guatemala City, and the other’s lifelong commitment to practical theology and spatial justice in South Africa. A practical theology of liberation is the result of life experiences in countries of the Global South amidst the search for justice and liberation. The worlds that come together in this article are René Girard’s mimetic theory, liberation theology (...) and practical theology. This article raises the question of the cross-contextuality of practical theology and the theological application of mimetic theory to develop innovative theological methodologies that respond to the collective woundedness of the urban context in the Global South.Contribution: The main contribution of this article is the use of three seemingly different theological approaches in conjunction. This article opens the door to inform practical theology with René Girard’s mimetic theory and liberation theology. (shrink)

The ethics of autonomous vehicles has received a great amount of attention in recent years, specifically in regard to their decisional policies in accident situations in which human harm is a likely consequence. Starting from the assumption that human harm is unavoidable, many authors have developed differing accounts of what morality requires in these situations. In this article, a strategy for AV decision-making is proposed, the Ethical Valence Theory, which paints AV decision-making as a type of claim mitigation: different road (...) users hold different moral claims on the vehicle’s behavior, and the vehicle must mitigate these claims as it makes decisions about its environment. Using the context of autonomous vehicles, the harm produced by an action and the uncertainties connected to it are quantified and accounted for through deliberation, resulting in an ethical implementation coherent with reality. The goal of this approach is not to define how moral theory requires vehicles to behave, but rather to provide a computational approach that is flexible enough to accommodate a number of ‘moral positions’ concerning what morality demands and what road users may expect, offering an evaluation tool for the social acceptability of an autonomous vehicle’s ethical decision making. (shrink)

This is a collection of high-quality research papers in the philosophy of science, deriving from papers presented at the second meeting of the European Philosophy of Science Association in Amsterdam, October 2009.

This article seeks to present challenges of negotiating difference and diversity in Christiancommunities in South Africa today. It reflects the intersectional nature of racial, gender, ethnicand economic difference, and ways in which land, capital and other power constructs continueto underpin and deepen exclusion. It then considers the status of diversity in Christiancommunities highlighting ways in which the fault lines in society are running throughChristian communities, and how such communities almost spontaneously engage in ‘othering’more naturally than in ‘embracing’. The article proposes (...) the re-conceptualisation of diversitywithin the bigger South African project of socio-economic transformation, and that theconversation about difference and diversity in Christian communities should be brought intodialogue with critical diversity theory, which considers diversity in relation to equity, humanrights and social justice. Finally, the article provides an overview of the contributions that formpart of this collection of articles, tracing how a number of Christian communities seek tonegotiate diversity and difference ecclesially and theologically. (shrink)

ObjectiveOur research aim is to enrich the conceptualization of high conflict post-divorce co-parenting by understanding the dynamic process involved.BackgroundThe studied phenomena were explored by linking previous scientific knowledge to practice.MethodWe cross-referenced the previous study results with the experiences reported by eight professionals and tried to answer the following research question: how professionals’ experience and previous scientific knowledge contribute to a better understanding of HC post-divorce co-parenting? Individual face to face interviews were conducted and analyzed regarding the qualitative theoretical reasoning of (...) thematic analysis.ResultsAnalysis allowed us to highlight how four main axes are related to HC post-divorce co-parenting: Parents for life, Acting in the child’s best interests, Managing disagreements, and Healing the separation.ConclusionOur findings capture high conflict post-divorce co-parenting as a multidimensional dynamic process. As such, dealing with co-parenting disagreements must be understood as a moment in a process that is influenced by, and influences, other dimensions.ImplicationsInterventions must consider the four dimensions and their reciprocal interactions. The essential elements underlying parents’ difficulties may reside at a multiplicity of levels: inter-relational, contextual, and intrapsychic. Each level contains key potential factors in understanding these families, and in formulating intervention guidelines. (shrink)

Este trabajo trata de mostrar cómo sobre la base de una filosofía del ingenio, Vico se dispone a delinear una representación figurada fundamentándose sobre una "convertibilidad" de los signos y de sus significados así como de los "conjuntos" de signos y su representación figurativa. La denominada "semiótica" viquiana se transforma a sí misma en una "sematología" de la "representación histórica".This paper intends to show how Vico sets himself to shape a figurative representation on the basis of the philosophy of wit. (...) In doing so, he takes as foundation the "convertibility" of signs and their meanings together with the "sets" of signs and their figurative representation. The so called Vichian "semiotics" is thus shifted into a "sematology" of the historical representation. (shrink)

La mythologie est une source d’inspiration constante pour la psychanalyse, dont l’une des pierres de touche réfère à la primauté accordée à la sexualité et à la vie pulsionnelle. Partant du constat surprenant de la mise sous silence de la légende de Tirésias dans la littérature psychanalytique, mythe évoquant une plus grande intensité de la jouissance sexuelle chez la femme, cet article se veut une invitation à la déconstruction du refus du féminin freudien (roc du biologique) à la lumière de (...) ce que nous nommons : le complexe de Tirésias. Au sein du nécessaire dialogue entre théorie et clinique, cette perspective accordant toute sa place à l’activité fantasmatique inconsciente à la lumière d’une acception intersubjective de la genèse pulsionnelle, contribue selon nous à limiter le risque contre-transférentiel d’une survalorisation du courant maternel au détriment du féminin érotique. (shrink)

This article proposes a 'fusion of horizons' in constructing urban public theologies in South Africa. This is done through the introduction of five interrelated themes that have emerged from the on-going knowledge and idea production by a distinguishable counterpoint in contemporary scholarly, intellectual and activist engagement with the urban, in the authors' own South African context but also wider internationally. In advancing a praxis-agenda for urban public theology, the authors subsequently identify the following, albeit not exhaustive, themes: southern urbanisms and (...) the factor of unprecedented urban migration; 'right to the city' and urbanisation from below; a reclaiming of the commons; the making of 'good cities'; and actors of faith in relation to urban social life. (shrink)

This chapter provides a critical overview of various influential accounts of de se attitudes including those proposed by Frege, Lewis and Perry. It also addresses the charge that there is nothing distinctive about de se attitudes. The second half outlines a widely accepted and influential model of communication and various complications that arise in applying this model to the communication of de se thoughts. The final section provides an overview of the papers in this volume.